log1/2 (x)=x^2 的实数根的个数